Approximate Inference in Default

نویسندگان

  • Marco Cadoli
  • Marco Schaerf
چکیده

We propose a technique for dealing with the high complexity of reasoning under propositional default logic and circumscription. The technique is based on the notion of approximation: A logical consequence relation is computed by means of sound and progressively \more complete" relations, as well as complete and progressively \more sound" ones. Both sequences generated in this way converge to the original consequence relation and are easier to compute. Moreover they are given a clear semantics based on multivalued logic. With this technique un-soundness and incompleteness are introduced in a controlled way and precisely characterized.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Location Reparameterization and Default Priors for Statistical Analysis

This paper develops default priors for Bayesian analysis that reproduce familiar frequentist and Bayesian analyses for models that are exponential or location. For the vector parameter case there is an information adjustment that avoids the Bayesian marginalization paradoxes and properly targets the prior on the parameter of interest thus adjusting for any complicating nonlinearity the details ...

متن کامل

Anytime Default Inference

Default reasoning plays a fundamental role in a variety of information processing applications. Default inference is inherently computa-tionally hard and practical applications, specially time-bounded ones, may require that some notion of approximate inference be used. Anytime algorithms are a useful conceptualization of processes that may be prematurely terminated whenever necessary to return ...

متن کامل

On default priors and approximate location models

A prior for statistical inference can be one of three basic types: a mathematical prior originally proposed in Bayes [Philos. Trans. R. Soc. Lond. 53 (1763) 370–418; 54 (1764) 269–325], a subjective prior presenting an opinion, or a truly objective prior based on an identified frequency reference. In this note we consider a method for deriving a mathematical prior based on approximate location ...

متن کامل

NORGES TEKNISK - NATURVITENSKAPELIGE UNIVERSITET Bayesian computing with INLA : new features by Thiago

The INLA approach for approximate Bayesian inference for latent Gaussian models has been shown to give fast and accurate estimates of posterior marginals and also to be a valuable tool in practice via the R-package R-INLA. In this paper we formalize new developments in the R-INLA package and show how these features greatly extend the scope of models that can be analyzed by this interface. We al...

متن کامل

Accurate Inference for the Mean of the Poisson-Exponential Distribution

Although the random sum distribution has been well-studied in probability theory, inference for the mean of such distribution is very limited in the literature. In this paper, two approaches are proposed to obtain inference for the mean of the Poisson-Exponential distribution. Both proposed approaches require the log-likelihood function of the Poisson-Exponential distribution, but the exact for...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1992